Proof assistant - PDFSEARCH.IO - Document Search Engine

Proof assistant
Results: 176

#	Item
91	Assisted Proof Document Authoring David Aspinall1 , Christoph L¨ uth2 , and Burkhart Wolff3 1 2 Add to Reading List Source URL: proofgeneral.inf.ed.ac.uk Language: English - Date: 2006-09-27 08:42:21 Formal methods Automated theorem proving Complexity classes Functional languages Proof assistant Isabelle Theorem prover IP Literate programming Theoretical computer science Computing Software
92	Ours is to reason why Cliff B. Jones, Leo Freitas, Andrius Velykis School of Computing Science, Newcastle University {cliff.jones, leo.freitas, andrius.velykis}@ncl.ac.uk Abstract. It is now widely understood how to wri Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-11-13 17:37:26 Automated theorem proving Logical syntax Formal systems Logical truth Proof theory Proof assistant Theorem Mathematical proof KeY Logic Theoretical computer science Mathematics
93	LFMTP[removed]A List-machine Benchmark for Mechanized Metatheory (Extended Abstract) Andrew W. Appel Princeton University and INRIA Rocquencourt Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2006-07-19 04:40:31 Logic in computer science Type theory Deduction Automated theorem proving Formal methods Twelf Symbol Proof assistant POPLmark challenge Logic Theoretical computer science Mathematical logic
94	Learning from an expert’s proof AI4FM Leo Freitas and Cliff B Jones School of Computing Science, Newcastle University, UK, {leo.freitas, cliff.jones}@ncl.ac.uk Abstract Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:19:51 Automated theorem proving Mathematical logic Formal methods Logic in computer science Mathematical proof Proof assistant KeY Rippling Theorem Logic Mathematics Theoretical computer science
95	Formal Certification of a Compiler Back-end or: Programming a Compiler with a Proof Assistant Xavier Leroy INRIA Rocquencourt [removed] Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2005-11-14 05:48:57 Subroutines Programming language implementation Compiler construction Procedural programming languages Compiler optimizations Calling convention Compiler Function prologue Stack Software engineering Computing Computer programming
96	Inferring the Proof Process Andrius Velykis School of Computing Science, Newcastle University, UK [removed] Abstract. This PhD project aims to investigate how enough information can be collected fr Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:19:50 Theoretical computer science Formal methods Proof theory Logical syntax Logical truth Mathematical proof Isabelle Proof assistant IsaPlanner Logic Automated theorem proving Mathematics
97	Report from Dagstuhl Seminar[removed]AI meets Formal Software Development Edited by Alan Bundy1 , Dieter Hutter2 , Cliff B. Jones3 , and Add to Reading List Source URL: drops.dagstuhl.de Language: English - Date: 2012-10-05 02:45:26 Applied mathematics Formal methods Logic in computer science Reasoning Proof assistant Automated reasoning ACL2 Formal verification Isabelle Theoretical computer science Mathematical software Automated theorem proving
98	Extensible Specifications for Automatic Re-Use of Specifications and Proofs Daniel Matichuk1 and Toby Murray1,2 1 2 Add to Reading List Source URL: ssrg.nicta.com.au Language: English - Date: 2013-10-20 22:09:38 Computing Formal verification Isabelle Formal specification Microkernel Haskell B-Method L4 microkernel family Proof assistant Formal methods Theoretical computer science Applied mathematics
99	Proof General Organize your proofs! User Manual for Proof General 4.2pre January 2012 proofgeneral.inf.ed.ac.uk Add to Reading List Source URL: proofgeneral.inf.ed.ac.uk Language: English - Date: 2015-04-19 00:44:55 Functional languages Proof assistant Mathematical logic Theoretical computer science Emacs Coq Isabelle Formal verification Mathematical proof Software Automated theorem proving Formal methods

UPDATE